Skip to content

Conversation

nhopp
Copy link

@nhopp nhopp commented Aug 7, 2025

Fixes #

Description of the Change

Checklist

  • PR only contains one change (considered splitting up PR)
  • unit-test added
  • documentation updated
  • CHANGELOG.md updated (only for user relevant changes)
  • author name in AUTHORS

@dopry
Copy link
Member

dopry commented Aug 11, 2025

@nhopp we're not going to be able to merge this without some context. Also please address the issues raised by pre-commit. Also I'd strong prefer that PRs are updated using a rebase rather than a merge... git pull --rebase. Happy to help if you need assistance with any of the above.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants